Betti numbers and minimal free resolutions for multi-state system reliability bounds
نویسندگان
چکیده
The paper continues work on monomial ideals in system reliability began by Giglio and Wynn [GW04] following work in discrete tube theory by Naiman and Wynn [NW92, NW97]. The key component is that of multigraded Betti numbers, and an algorithm using MayerVietoris trees by the first author [dC06] is the main tool. First a mapping must be made between the states of a multistate system and a monomial ideal, or more specifically a collection of monomials. A multi-state system is a system of n components whose states are described by real variables Y = (Y1, . . . , Yn). The (discrete) states of each system are labeled by {1, 2, . . .} = N so that Y = Nn. Then a = (a1, . . . , an) ∈ Y is encoded by xa = x1 1 · · ·xan n . Assume that the system has a distinguished subset F , called the failure set which is such that for a ≤ b,a ∈ F ⇒ b ∈ F . Then the system is said to be coherent: if the system fails, in the sense of its state being in F , it will also fail at a more extreme state. The main conceptual link between the two fields is that this correspond exactly to the monomial ideal property. Thus, if IdF = 〈xa : a ∈ F〉 then a ≤ b, xa ∈ IdF ⇒ xb ∈ IdF . In addition we may consider the minimal cut set F∗ which corresponds to the minimal generators of the ideal IdF . If the behaviour of the system is described by allowing the state to be the realisation of a random variable Y , then the failure probability is prob{Y ∈ F}. If we can find bounds or equalities for the indicator function of F then they are inherited by this probability. Equivalently, here, we bound the generating function: F(x) = ∑ a∈F x a. Consider a multigraded R-module, M, over the ring R = k[x1, . . . , xn] considered as a k vector space over each of its multigraded “pieces”, and a monomial ideal I. If an R-resolution P of I is multigraded we obtain the muligraded Hilbert series is given by
منابع مشابه
Betti Numbers and Shifts in Minimal Graded Free Resolutions
Let S = K[x1, . . . ,xn] be a polynomial ring and R = S/I where I ⊂ S is a graded ideal. The Multiplicity Conjecture of Herzog, Huneke, and Srinivasan states that the multiplicity of R is bounded above by a function of the maximal shifts in the minimal graded free resolution of R over S as well as bounded below by a function of the minimal shifts if R is Cohen–Macaulay. In this paper we study t...
متن کاملOn a special class of Stanley-Reisner ideals
For an $n$-gon with vertices at points $1,2,cdots,n$, the Betti numbers of its suspension, the simplicial complex that involves two more vertices $n+1$ and $n+2$, is known. In this paper, with a constructive and simple proof, wegeneralize this result to find the minimal free resolution and Betti numbers of the $S$-module $S/I$ where $S=K[x_{1},cdots, x_{n}]$ and $I$ is the associated ideal to ...
متن کاملar X iv : a lg - g eo m / 9 61 00 12 v 1 1 1 O ct 1 99 6 MONOMIAL RESOLUTIONS
Let M be a monomial ideal in the polynomial ring S = k[x1, . . . , xn] over a field k. We are interested in the problem of resolving S/M over S. The difficulty in resolving minimally is reflected in the fact that the homology of arbitrary simplicial complexes can be encoded (via the Stanley-Reisner correspondence) into the multigraded Betti numbers of S/M , [St]. In particular, the minimal free...
متن کاملCharacteristic-independence of Betti numbers of graph ideals
In this paper we study the Betti numbers of Stanley-Reisner ideals generated in degree 2. We show that the first six Betti numbers do not depend on the characteristic of the ground field. We also show that, if the number of variables n is at most 10, all Betti numbers are independent of the ground field. For n = 11, there exists precisely 4 examples in which the Betti numbers depend on the grou...
متن کاملTHE LCM-LATTICE in MONOMIAL RESOLUTIONS
Describing the properties of the minimal free resolution of a monomial ideal I is a difficult problem posed in the early 1960’s. The main directions of progress on this problem were: • constructing the minimal free resolutions of special monomial ideals, cf. [AHH, BPS] • constructing non-minimal free resolutions; for example, Taylor’s resolution (cf. [Ei, p. 439]) and the cellular resolutions •...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Comput.
دوره 44 شماره
صفحات -
تاریخ انتشار 2009